TSTP Solution File: SET606^3 by E-Darwin---1.5